Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 005044 | Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France] | Implementing a Unification Algorithm for Protocol Analysis with XOR |
| 006626 | Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Deciding the Security of Protocols with Commuting Public Key Encryption. |
| 007130 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents |
| 007190 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007232 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
| 007E25 | Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007E70 | Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
| This area was generated with Dilib version V0.6.33. |  |